Agile Specification-Driven Development

نویسندگان

  • Jonathan S. Ostroff
  • David Makalsky
  • Richard F. Paige
چکیده

We present an agile approach to Specification-Driven Development, which combines features of Test-Driven Development and the plan-based approach of Design-by-Contract. We argue that both tests and contracts are different types of specifications, and both are useful and complementary for building high quality software. We conclude that it is useful for being able to switch between writing tests and writing contracts, and explain how Specification-Driven Development supports this capability.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

LINTest: a development tool for testing dialogue systems

In this paper we present a development tool for testing dialogue systems. Testing software through the specification is important for software development in general and should be as automated as possible. For dialogue systems, the corpus can be seen as one part of the specification and the dialogue system should be tested on available corpora on each new build. The testing tool is inspired fro...

متن کامل

An Approach for Semantic Checks of Process Models

The beginning of a software development process is the collection of requirements for the new software solution. Often these requirements are collected in numerous specification documents. The upcoming Model-Driven Software Development (MDSD) aims to use different kinds of models in addition to these specification documents. The type of models varies from high level business processes to implem...

متن کامل

Suggested Framework for Agile MDA and Agile Methodologies

Modeling is an essential part in software development projects. This shifts the focus of software development from writing code to building models. Consequently Object Management Group (OMG) introduced Model Driven Architecture (MDA). MDA is the open approach to control both business and technology changes. MDA is created to help UML designers to cover all specification of the software system w...

متن کامل

Model-Driven Prototyping for Corporate Software Specification

Corporate software development faces very demanding challenges, especially concerning the design of user interfaces. Collaborative design with stakeholders demands modeling methods that everybody can understand and apply. But when using traditional, paper-based methods to gather and document requirements, an IT organization often experiences frustrating communication issues between the business...

متن کامل

Reviewing Testability of Object Oriented Systems for Non - Functional Specifications

The object oriented programming proves to be the most beneficial paradigm for scalable and maintainable software development. An object characterizes special features like encapsulation, inheritance, modularity and polymorphism. The processes in Test Driven Design closely relate the agile methodology and strengthen the need of testing during the development stages. The UML specifies the archite...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004